categorical abstract machine
Combinatory logic
Typed lambda calculus
Cartesian closed category
Applicative computing systems
Anonymous recursion
Evaluation strategy
explicit substitution
SKI combinator calculus
Unlambda
Currying
Caml
/suto3/google.icon
categorical abstract machine
image
categorical abstract machine
define
categorical abstract machine
wikipedia
categorical abstract machine
weblio
categorical abstract machine
kotobank
categorical abstract machine
jisho
categorical abstract machine